Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
121	Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-06-27 10:05:13 Modal logic Non-classical logic Common knowledge Multi-agent system Model checking Temporal logic Proposition Kripke semantics Logic Mathematical logic Philosophical logic
122	Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-08 13:15:13 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
123	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
124	A Logic of Agent Programs Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-05-21 06:40:23 Orbifold Metalogic Model theory Symbol
125	Modularity and compositionality in Jason Neil Madden and Brian Logan School of Computer Science University of Nottingham, UK. {nem,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-18 06:12:42 Artificial intelligence 2APL Prolog Datalog Modularity AgentSpeak Logic programming Programming language Coupling Computing Multi-agent systems Software engineering
126	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems
127	Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:52 Artificial intelligence Epistemology Knowledge representation Logic programming Mathematical logic Frame problem Intelligent agent Speech act Resolution Logic Science Knowledge
128	Modelling Environments for Distributed Simulation Michael Lees1 , Brian Logan1, Rob Minson2 , Ton Oguara2 , and Georgios Theodoropoulos2 1 School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-02-14 13:23:05 Mathematics Relational model Simulation Distributed computing architecture Relation Tuple Agent-based model Discrete event simulation Logic simulation Computing Scientific modeling Electronic engineering
129	Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:44:56 Deduction Entailment 3APL Logic Multi-agent systems 2APL
130	A Logic of Agent Programs Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Orbifold Metalogic Model theory Symbol